Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
81	Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗ Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2014-08-13 21:30:28 Logic Temporal logic Philosophical logic Mathematical logic Abstraction Linear temporal logic Logic in computer science Supervisory control theory Non-classical logic CTL* Modal logic Quantifier
82	Modal Logics of Some Subspaces of Rational Numbers: Diamond as Derivative Joel Lucero-Bryan New Mexico State University Short Background Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:55:40 Mathematics Logic Abstraction General topology Non-classical logic Philosophical logic Modal logic Modality Metrization theorem Closure operator Derivative algebra
83	Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:53 Logic Mathematical logic Non-classical logic Philosophical logic Predicate logic Model theory First-order logic Barcan formula Modal logic KeY
84	Letter doi:nature16536 Non-classical correlations between single photons and phonons from a mechanical oscillator Add to Reading List Source URL: aspelmeyer.quantum.at Language: English - Date: 2016-02-19 05:10:10 Physics Optics Quantum optics Quantum mechanics Spectroscopy Cavity optomechanics Photon Phonon Coherent states Laser Squeezed coherent state Spontaneous parametric down-conversion
85	Globalization makes inconsistency unrecognizable John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2015-12-30 14:58:38 Logic Philosophy Abstraction Philosophical logic Non-classical logic Mathematical logic Theories of truth Proof theory Negation Paraconsistent logic False Contradiction
86	Problem 1. Radiation in the lowest Bohr Orbit In the Bohr model, a classical non-relativistic electron circles a proton in a circular orbit with angular momentum L = ~, due to the Coulomb attraction between the electron Add to Reading List Source URL: graduate.physics.sunysb.edu Language: English - Date: 2014-08-04 15:14:44
87	ANU Logic Summer School January-February 2009 Non-Classical Logic Lecture 1: Natural Deduction Ed Mares 2 February Add to Reading List Source URL: ssll.rsise.anu.edu.au Language: English - Date: 2009-01-20 21:41:34
88	Fall 2014 Undergraduate Philosophy Department Courses PHIL-UA 1; Central Problems in Philosophy; M/W 9:30-10:45; James Pryor http://intro.jimpryor.net This course is an introduction to the methods of contemporary philoso Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-08-30 22:55:28 Logic Philosophy Mathematical logic Philosophical logic Non-classical logic Branches of philosophy Model theory Modal logic Saul Kripke First-order logic Propositional calculus Epistemic modal logic
89	V5A3: ADVANCED TOPICS IN ALGEBRAIC GEOMETRY: INTRODUCTION TO RIGID GEOMETRYSPRING) Rigid geometry was initiated by Tate in 1970s’, and it can be viewed as analogue of classical complex geometry over non-archimed Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2016-03-24 04:56:51
90	Postdoctoral opportunity in non-classical crystal growth and Nanogeosciences, University of Chile-Virginia Tech The Department of Mining Engineering at University of Chile (Santiago de Chile) in conjunction with the De Add to Reading List Source URL: www.iagc-society.org Language: English - Date: 2016-04-19 13:47:06 Chemistry Condensed matter physics Environmental chemistry Materials science Spectroscopy Nature Scientific method CONICYT Ministry of Education X-ray absorption fine structure X-ray absorption near edge structure Nanogeoscience

UPDATE